Panel on design for verification

Although research in automated verification has produced very promising results, the question of how to effectively integrate these results into the software and hardware development processes is still unresolved. Typically, fully automated verification techniques are not scalable, and scalable verification techniques require substantial user guidance. Alternatively, developers could facilitate scalable verification by constructing software and hardware systems in ways that make them easier to verify. In this panel we will discuss the idea of design for verification.